161. Language and automata theory and applications
المؤلف: Adrian-Horia Dediu, Carlos Martín-Vide (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence, Congresses,Formal languages, Congresses,Machine theory, Congresses,Mathematical linguistics, Congresses
رده :
QA267
.
L38
2012eb
162. Language and automata theory and applications :
المؤلف: edited by Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Formal languages.,Machine theory.,Mathematical linguistics.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.
رده :
QA267
.
L38
2018
163. Learning theory and Kernel machines : 16th annual Conference on Learning Theory and 7th Kernel Workshop, COLT/Kernel 2003, Washington, DC, USA, August 24-27, 2003 : proceedings
المؤلف: Bernhard Scholkopf, Manfred K. Warmuth )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computational learning theory,Congresses ، Machine learning
رده :
QA
76
.
L28
Vol
.
2777
164. Logic and machines : decision problems and complexity : Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut fur Mathematische Logik und Frundlagenforschung der Universitat Munster/Westfalen
المؤلف: Symposium "Rekursive Kombinatorik")3891:Institut fur Mathematische Logik und Grundlagenforschung der Universitat Munster/Westfalen(
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Machine theory--Congresses,، Computational complexity--Congresses,، Decision-making--Congresses
رده :
QA
267
.
S98
1983
165. Mathematial systems theory
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، System analysis-- Congresses,، Computer simulation,، Sequential machine theory-- Congresses,، Coding theory-- Congresses
رده :
QA
402
.
C56
166. Mathematical foundations of computer science
المؤلف: edited by A. Blikle
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
267
.
5
.
S4
S89
1974
167. Mathematical foundations of computer science 1995
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Machine theory- Congresses,Formal languages- Congresses,Programming (Electronic computers)- Congresses
رده :
QA267
.
M38
1995
168. Mathematical foundations of computer science
المؤلف: Edited by G. Goos and J. Hartmanis )and also( Edited by A. Blikle
المکتبة: (طهران)
موضوع: Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
267
.
5
.
S4
S89
1974
169. Mathematical foundations of computer science 2008
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Algorithms ; Congresses. ; Computer programming ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Machine theory ; Congresses. ;
170. Mathematical foundations of computer science 1989 : Porabka-Kozubnik, Poland, August 28 - September 1, 1989 : Proceedings
المؤلف: A. Kreczmar, G. Mirkowska )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Machine theory,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
379
171. Mathematical foundations of computer science 1986 : Proceedings of the 12th Symposium, Bratislava, Czchoslovakia, August 25-29, 1986
المؤلف: edited by J. Gruska, B. Rovan and J. Wiedermann
المکتبة: (طهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
233
172. Mathematical foundations of computer science 1988 : Proceedings of the 13th Symposium, Carlsbad, Czchoslovakia, August 29-September 2, 1988
المؤلف: M.P. Chytil, L. Janiga, V. Koubek )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Machine theory,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
324
173. Mathematical foundations of computer science 1980 : Proceedings of the 9th Symposium held in Rydzyna, Poland, September 1-5, 1980
المؤلف: edited by P. Dembinski
المکتبة: (طهران)
موضوع: Congresses ، Machine theory,Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
88
174. Mathematical foundations of computer science, 1980: Proceedings of the 9th symposium held in Rydzyna, Poland, September 1-5, 1980
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses,، Data base management-- Congresses,، Machine theory-- Congresses
رده :
QA
76
.
6
.
S9194
1980
175. Mathematical foundations of computer science, 1976 : proceedings, 5th Symposium, Gdansk, September 6-10, 1976
المؤلف: edited by A. Mazurkiewicz
المکتبة: (طهران)
موضوع: Congresses ، Formal languages,Congresses ، Machine theory,Congresses ، Computer programming
رده :
QA
267
.
3
.
S93
1976
176. Mathematical foundations of computer science, 1976 : proceedings, 5th Symposium, Gdansk, September 6-10, 1976
المؤلف: edited by A. Mazurkiewicz
المکتبة: (طهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
45
177. Mathematical foundations of computer science 1981 : proceedings, 10th Symposium, Strbske Pleso, Czechoslovakia, August 31-September 4, 1981
المؤلف: edited by J. Gruska and M. Chytil
المکتبة: (طهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
118
178. Mathematical foundations of computer science, 1977 : proceedings, 6th Symposium, Tatranska Lomnica, September 5-9, 1977
پدیدآورنده : edited by J. Gruska
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
179. Mathematical foundations of computer science 1977 : proceedings, 6th Symposium, Tatranska'Lomnica September 5-9, 1977
المؤلف: edited by J. Gruska
المکتبة: (طهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
53
